A Priori Reasoning for Component-based Software Development?
نویسنده
چکیده
We believe that the paradigm shift to component-based software development should be accompanied by a corresponding paradigm shift in the underlying approach to specification and reasoning. In this position paper, we propose a priori reasoning as a suitable candidate, and outline our approach to specifying and reasoning about components, based on a priori reasoning.
منابع مشابه
A Formal Approach to Software Component Specification
There is a general consensus that the paradigm shift to component-based software development should be accompanied by a corresponding paradigm shift in the underlying approach to specification and reasoning. Work in modular specification and verification has shown the way, and following its lead, in this position paper, we outline our approach to specifying and reasoning about components, which...
متن کاملComparison of Moral Reasoning among Students with and without Visual Impairment
Background and Purpose: Some research has examined the moral reasoning and judgment in students with special needs and has shown that these students are lagging behind their non-disabled counterparts in term of moral development. Very few studies have been done in the area of development of moral reasoning in individuals with visual impairment; so given the research vacuum in this context, the ...
متن کاملComPARE: A Generic Quality Assessment Environment for Component-Based Software Systems
Component-based technology is gaining popularity in modern software development. This approach helps reduce development cost and time-to-market, as well as improve maintainability and reliability. One of the key problems in component-based software development is finding a way to certify the quality of individual components and that of the integrated component-based software systems. There are ...
متن کاملComPARE: A Generic Qua for Component-Bas
Component-based technology is gaining popularity in modern software development. This approach helps reduce development cost and time-to-market, as well as improve maintainability and reliability. One of the key problems in component-based software development is finding a way to certify the quality of individual components and that of the integrated component-based software systems. There are ...
متن کاملFormal Specification of Non-functional Properties of Component-Based Software
Non-functional or extra-functional properties of a software system are at least as important as its somewhat more classical functional properties. They must be considered as early as possible in the development cycle in order to avoid costly failures. This is particularly true for a modern component-based approach to software development. In this paper we show a formal specification of timeline...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002